6,452 research outputs found

    Chern character for totally disconnected groups

    Get PDF
    In this paper we construct a bivariant Chern character for the equivariant KK KK -theory of a totally disconnected group with values in bivariant equivariant cohomology in the sense of Baum and Schneider. We prove in particular that the complexified left hand side of the Baum-Connes conjecture for a totally disconnected group is isomorphic to cosheaf homology. Moreover, it is shown that our transformation extends the Chern character defined by Baum and Schneider for profinite groups

    Relaxation of curvature induced elastic stress by the Asaro-Tiller-Grinfeld instability

    Full text link
    A two-dimensional crystal on the surface of a sphere experiences elastic stress due to the incompatibility of the crystal axes and the curvature. A common mechanism to relax elastic stress is the Asaro-Tiller-Grinfeld (ATG) instability. With a combined numerical and analytical approach we demonstrate, that also curvature induced stress in surface crystals can be relaxed by the long wave length ATG instability. The numerical results are obtained using a surface phase-field crystal (PFC) model, from which we determine the characteristic wave numbers of the ATG instability for various surface coverages corresponding to different curvature induced compressions. The results are compared with an analytic expression for the characteristic wave number, obtained from a continuum approach which accounts for hexagonal crystals and intrinsic PFC symmetries. We find our numerical results in accordance with the analytical predictions.Comment: 6 pages, 5 figure

    On the Expressivity and Applicability of Model Representation Formalisms

    No full text
    A number of first-order calculi employ an explicit model representation formalism for automated reasoning and for detecting satisfiability. Many of these formalisms can represent infinite Herbrand models. The first-order fragment of monadic, shallow, linear, Horn (MSLH) clauses, is such a formalism used in the approximation refinement calculus. Our first result is a finite model property for MSLH clause sets. Therefore, MSLH clause sets cannot represent models of clause sets with inherently infinite models. Through a translation to tree automata, we further show that this limitation also applies to the linear fragments of implicit generalizations, which is the formalism used in the model-evolution calculus, to atoms with disequality constraints, the formalisms used in the non-redundant clause learning calculus (NRCL), and to atoms with membership constraints, a formalism used for example in decision procedures for algebraic data types. Although these formalisms cannot represent models of clause sets with inherently infinite models, through an additional approximation step they can. This is our second main result. For clause sets including the definition of an equivalence relation with the help of an additional, novel approximation, called reflexive relation splitting, the approximation refinement calculus can automatically show satisfiability through the MSLH clause set formalism

    Simulating the onset and spread of anoxic conditions during Cretaceous OAE2

    Get PDF
    A new model of the global atmosphere-ocean-continent-mantle system was set-up to investigate the triggering of the Oceanic Anoxic Event OAE2 through volcanic degassing processes at large igneous provinces (LIPs). The model simulates the changes in oceanic dissolved oxygen, phosphate, and carbon and the evolution of atmospheric pCO2 values under mid-Cretaceous boundary conditions. It considers the effects of pCO2 on element ratios in marine plankton (C : P) and includes new parameterizations for phosphorus and carbon burial at the seafloor based on modern observations. Independent isotopic and chemical time-series of ocean and atmosphere change over OAE2 are applied to evaluate the model results. The model results support the hypothesis that OAE2 was triggered by massive CO2 emissions at LIPs. According to the model, the phosphorus weathering flux into the ocean and the C : P ratio in marine plankton were enhanced by the rise in surface temperature and atmosphere pCO2 caused by mantle degassing. Marine export production and oxygen consumption in intermediate and deep water masses increased in response to the expansion of the dissolved phosphate inventory of the ocean and the change in plankton element ratios. The spread of anoxic conditions in bottom waters -induced by enhanced carbon export and respiration- was further amplified by the oxygen-dependent burial of phosphorus in marine sediments in a positive feedback loop. The modeling implies that enhanced CO2 emissions favor the spread of low-oxygen conditions also in modern oceans

    Design, development and use of the finite element machine

    Get PDF
    Some of the considerations that went into the design of the Finite Element Machine, a research asynchronous parallel computer are described. The present status of the system is also discussed along with some indication of the type of results that were obtained

    A simple stochastic model for the evolution of protein lengths

    Full text link
    We analyse a simple discrete-time stochastic process for the theoretical modeling of the evolution of protein lengths. At every step of the process a new protein is produced as a modification of one of the proteins already existing and its length is assumed to be random variable which depends only on the length of the originating protein. Thus a Random Recursive Trees (RRT) is produced over the natural integers. If (quasi) scale invariance is assumed, the length distribution in a single history tends to a lognormal form with a specific signature of the deviations from exact gaussianity. Comparison with the very large SIMAP protein database shows good agreement.Comment: 12 pages, 4 figure

    The effect of cave illumination on bats

    Get PDF
    Artificial light at night has large impacts on nocturnal wildlife such as bats, yet its effect varies with wavelength of light, context, and across species involved. Here, we studied in two experiments how wild bats of cave-roosting species (Rhinolophus mehelyi, R. euryale, Myotis capaccinii and Miniopterus schreibersii) respond to LED lights of different colours. In dual choice experiments, we measured the acoustic activity of bats in response to neutral-white, red or amber LED at a cave entrance and in a flight room – mimicking a cave interior. In the flight room, M. capaccinii and M. schreibersii preferred red to white light, but showed no preference for red over amber, or amber over white light. In the cave entrance experiment, all light colours reduced the activity of all emerging species, yet red LED had the least negative effect. Rhinolophus species reacted most strongly, matching their refusal to fly at all under any light treatment in the flight room. We conclude that the placement and light colour of LED light should be considered carefully in lighting concepts for caves both in the interior and at the entrance. In a cave interior, red LED light could be chosen – if needed at all – for careful temporary illumination of areas, yet areas important for bats should be avoided based on the precautionary principle. At cave entrances, the high sensitivity of most bat species, particularly of Rhinolophus spp., towards light sources almost irrespective of colour, calls for utmost caution when illuminating cave entrances

    The Eurotiomycete Apinisia graminicola as the causal agent of a leaf spot disease on the energy crop Miscanthus x giganteus in Northern Germany

    Get PDF
    Miscanthus x giganteus is a fast growing, perennial energy crop for temperate climates. Because of its high annual biomass production rates and its characteristics as a low-input crop, an expansion of field cultivation can be anticipated to cover increasing demands for sustainable biomass production. However, knowledge about pathogens that could have an impact on biomass production is still limited for M. giganteus. Here, we report about the isolation of the filamentous fungus Apinisia graminicola from necrotic leaf lesions of M. giganteus grown on a field trial plot in Northern Germany. Inoculation assays with the isolated A. graminicola strain confirmed its capacity to cause a leaf spot disease on M. giganteus. Additional inoculation assays revealed that A. graminicola also caused necrotic lesions on leaves of the model grass Brachypodium distachyon. Generally, symptoms of A. graminicola-caused leaf spot disease were stronger on B. distachyon compared to M. giganteus. Incubation temperatures above 22 °C during A. graminicola infection resulted in stronger disease symptoms on both, M. giganteus and B. distachyon leaves. Microscopic analysis of cross sectioned, infected leaf tissue revealed an epiphytic mycelium formation on the surface and an endophytic colonization of the mesophyll leave tissue, especially in M. giganteus. Our results revealed that the isolated A. graminicola strain is a causal agent of a leaf spot disease on grass leaves. Its potential on endophytic growth in M. giganteus might open new possibilities in studying this type of plant-fungal interaction on a cellular and molecular level in an energy crop
    • …
    corecore